- soundness of a decision
- soundness of a decision Fehlerfreiheit f einer Entscheidung
English-german law dictionary. 2013.
English-german law dictionary. 2013.
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
East Pakistan Air Operations, 1971 — East Pakistan Air Operations Part of Indo Pakistani War of 1971 Date 2–16 December 1971 Location … Wikipedia
Probabilistically checkable proof — In computational complexity theory, a probabilistically checkable proof (PCP) is a type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof. The algorithm… … Wikipedia
Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… … Wikipedia
Economic Affairs — ▪ 2006 Introduction In 2005 rising U.S. deficits, tight monetary policies, and higher oil prices triggered by hurricane damage in the Gulf of Mexico were moderating influences on the world economy and on U.S. stock markets, but some other… … Universalium
Federal takeover of Fannie Mae and Freddie Mac — Fannie Mae headquarters at 3900 Wisconsin Avenue, NW in Washington, D.C. The federal takeover of Fannie Mae and Freddie Mac refers to the placing into conservatorship of government sponsored enterprises Fannie Mae and Freddie Mac by the U.S.… … Wikipedia
Intelligent design — This article is about intelligent design as promulgated by the Discovery Institute. For other uses, see Intelligent design (disambiguation). For the philosophical argument from design , see Teleological argument … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… … Wikipedia
Commodity Futures Modernization Act of 2000 — The Commodity Futures Modernization Act of 2000 (CFMA) is United States federal legislation that officially ensured the deregulation of financial products known as over the counter derivatives. It was signed into law on December 21, 2000 by… … Wikipedia
IP (complexity) — In computational complexity theory, the class IP is the class of problems solvable by an interactive proof system. The concept of an interactive proof system was first introduced by Goldwasser, et al. in 1985. An interactive proof system consists … Wikipedia